293 research outputs found
The Equational Approach to CF2 Semantics
We introduce a family of new equational semantics for argumentation networks
which can handle odd and even loops in a uniform manner. We offer one version
of equational semantics which is equivalent to CF2 semantics, and a better
version which gives the same results as traditional Dung semantics for even
loops but can still handle odd loops.Comment: 36 pages, version dated 15 February 201
Size and Logic
We show how to develop a multitude of rules of nonmonotonic logic from very
simple and natural notions of size, using them as building blocks
Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview
In 2005 the author introduced networks which allow attacks on attacks of any level. So if a→b reads a attacks b, then this attack can itself be attacked by another node c. This attack itself can attack another node d. This situation can be iterated to any level with attacks and nodes attacking other attacks and other nodes. In this paper we provide semantics (of extensions) to such networks. We offer three different approaches to obtaining semantics
Reasoning Schemes, Expert Opinions and Critical Questions. Sex Offenders Case Study
This paper examines in detail the argumentation features in the domain of sex offender with some applications to the scheme of “Argument from Expert Opinion". We build a model for reasoning schemes, critical questions and expert opinion on the question of “the degree of risk of a sex offender". We discover that in order to properly model expert practice in this area we need to use numerical argumentation as well as the new notion of “Attack as Information Input". The model is generic and we believe is not restricted to the sex offence area of expertise.
Our paper also offers a more detailed example for Walton’s argumentation scheme of Expert Opinion as well as a bridge between the argumentation community and the community dealing with sex offenders. We offer an introduction to the student on the subject of determining the degree of risk of sex offenders. We also look at standard international tools for determining the risk of sex offenders and see how the argumentation community can integrate these tools
HEAL2100: Human Effective Argumentation and Logic for the 21st Century. The next Step in the Evolution of Logic
This editorial is about weaponising the Fallacies, and offering them as active additional components to modern formal logic, thus forming the new evolutionary logic for the 21st Century. Logicians since Aristotle considered the fallacies as wrong arguments which look correct but are not. They classified them into groups, discussed them and left them by the sidelines of logic as failures.
Modern society, with the rise of the internet, Twitter, Facebook and YouTube showed the fallacies as most used and most effective in argumentation and debate. If this is the way humans reason and think then we need to develop the logical theory of the the use of the fallacies and legitimise them as a significant component of modern reasoning.
This manifesto outlines our approach to the new logic of the 21st century which allows for the systematic use of the fallacies in argumentation and debate as practiced by people in the mass media
Modal Logics of Reactive Frames
A reactive graph generalizes the concept of a graph by making it dynamic, in
the sense that the arrows coming out from a point depend on how we got there.
This idea was
fi
rst applied to Kripke semantics of modal logic in [2]. In this
paper we strengthen that unimodal language by adding a second operator. One op-
erator corresponds to the dynamics relation and the other one relates paths with the
same endpoint. We explore the expressivity of this interpretation by axiomatizing
some natural subclasses of reactive frames.
The main objective of this paper is to present a methodology to study reactive
logics using the existent classic techniques
- …